1. B for Critical Device Software Systems-Using Event
پدیدآورنده: / Neeraj Kumar Singh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. System on chip interfaces for low power design
پدیدآورنده: Sanjeeb Mishra, Neeraj Kumar Singh, Vijayakrishnan Rousseau.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Low voltage systems.,Systems on a chip.
3. Using Event-B for critical device software systems
پدیدآورنده: Neeraj Kumar Singh
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
S56
2013
